81. First course in algorithms through puzzles /
پدیدآورنده : Ryuhei Uehara.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Computer algorithms.
رده :
QA9
.
58
82. For all practical purposes :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematical readiness, Textbooks,Mathematics, Textbooks
رده :
QA7
.
F68
2013
83. Formal aspects of component software :
پدیدآورنده : Kyungmin Bae, Peter Csaba Ölveczky (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
84. From calculus to computers :
پدیدآورنده : edited by Amy Shell-Gellasch and Dick Jardine
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- History
85. Fundamentals of Scientific Computing
پدیدآورنده : / Bertil Gustafsson
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer simulation,Computer science -- Mathematic,Science -- Methodology,Science -- Data processing,شبیه‌سازی کامپیوتری,علوم کامپیوتر -- ریاضیات,علوم -- روش شناسی,علوم -- داده‌پردازی
رده :
QA76
,.
9
.
C65
,
G8
2011
86. Fuzzy Sets Theory and Applications
پدیدآورنده : edited by André Jones, Arnold Kaufmann, Hans-Jürgen Zimmermann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Decision making -- Congresses.,Fuzzy sets -- Congresses.,Problem solving -- Congresses.
87. Fuzzy Sets in Decision Analysis, Operations Research and Statistics
پدیدآورنده : edited by Roman Słowiński.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.,Operations research.
88. Fuzzy Systems
پدیدآورنده : edited by Hung T. Nguyen, Michio Sugeno.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.
89. Fuzzy relational mathematical programming :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming (Mathematics) ;
90. Game theory for security and risk management :
پدیدآورنده : Stefan Rass, Stefan Schauer, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Game theory.,Risk management.,BUSINESS & ECONOMICS-- Economics-- General.,BUSINESS & ECONOMICS-- Reference.,Computer security.,Game theory.,Game theory.,Operational research.,Risk management.
رده :
HB144
91. Generalized preinvexity and second order duality in multiobjective programming /
پدیدآورنده : Xinmin Yang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematical optimization.,Nonlinear programming.,Theory of distributions (Functional analysis),Mathematical optimization.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Nonlinear programming.,Theory of distributions (Functional analysis)
رده :
QA324
92. Geometric modelling, numerical simulation, and optimization
پدیدآورنده : Geir Hasle, Knut-Andreas Lie, Ewald Quak, editors
کتابخانه: کتابخانه مرکزی دانشگاه یاسوج (محمد بهمن بیگی) (کهکیلویة و بویرأحمد)
موضوع : Numerical analysis,Geometrical models,Programming (Mathematics),Mathematical optimization
رده :
518
,.
G46
,
2007
93. Geometric modelling, numerical simulation, and optimization
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Numerical analysis. ; Geometrical models. ; Programming (Mathematics) ; Mathematical optimization. ;
94. Geometrical Methods in Variational Problems
پدیدآورنده : by N. A. Bobylev, S. V. Emel'yanov, S. K. Korovin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Differential equations, Partial.,Differential Equations.,Global analysis.,Mathematical optimization.,Mathematics.
95. Global Optimization in Engineering Design
پدیدآورنده : edited by Ignacio E. Grossmann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemical engineering.,Engineering design.,Mathematical optimization.,Mathematics.,Operations research.
96. Handbook of Combinatorial Optimization
پدیدآورنده : edited by Panos M. Pardalos, Ding-Zhu Du, Ronald L. Graham.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorics.,Mathematical optimization.,Mathematics.
97. Handbook of linear algebra
پدیدآورنده : / edited by Leslie Hogben
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Algebras, Linear. 1
رده :
E-BOOK
98. High Performance Computing in the Geosciences
پدیدآورنده : edited by François-Xavier Dimet.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Earth sciences -- Data processing -- Congresses.,Earth sciences -- Data processing.,Earth sciences -- Mathematics -- Congresses.
99. Identification of parametric models from experimental data /
پدیدآورنده : Eric Walter and Luc Pronzato ; translated from an updated French version by the authors, with the help of John Norton.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parameter estimation.,System identification.,Estimation, Théorie de l'.,Parameter estimation.,System identification.,Systèmes, Identification des-- Modèles mathématiques.,Wiskundige modellen.
رده :
QA402
.
W36613
1997
100. Informal Introduction to Stochastic Processes with Mapl
پدیدآورنده : / by Jan Vrbik, Paul Vrbik
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Distribution (Probability theory),Mathematical statistics,Electronic books
رده :
E-BOOK
